Auflistung nach Schlagwort "Reconfigurable hardware"

Auflistung nach Schlagwort "Reconfigurable hardware"

Sortiert nach: Sortierung: Ergebnisse:

  • Axiomatizing propositional dependence logics 
    Sano, Katsuhiko; Virtema, Jonni (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional ...
  • Implementing unitary 2-designs using random diagonal-unitary matrices 
    Nakata, Yoshifumi; Hirche, Christoph; Morgan, Ciara; Winter, Andreas (Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2015)
    Unitary 2-designs are random unitary matrices which, in contrast to their Haar-distributed counterparts, have been shown to be efficiently realized by quantum circuits. Most notably, unitary 2-designs are known to achieve ...
  • Low-cost fabrication of optical waveguides, interconnects and sensing structures on all-polymer-based thin foils 
    Rezem, Maher; Kelb, Christian; Günther, Axel; Rahlves, Maik; Reithmeier, Eduard; Roth, Bernhard (Bellingham, Wash. : SPIE, 2016)
    Micro-optical sensors based on optical waveguides are widely used to measure temperature, force and strain but also to detect biological and chemical substances such as explosives or toxins. While optical micro-sensors ...
  • Optical coupling of bare optoelectronic components and flexographically printed polymer waveguides in planar optronic systems 
    Wang, Yixiao; Wolfer, Tim; Lange, Alex; Overmeyer, Ludger (Bellingham, Wash. : SPIE, 2016)
    Large scale, planar optronic systems allowing spatially distributed functionalities can be well used in diverse sensor networks, such as for monitoring the environment by measuring various physical quantities in medicine ...
  • Quantum Algorithmic Readout in Multi-Ion Clocks 
    Schulte, M.; Lörch, N.; Leroux, I.D.; Schmidt, Piet O.; Hammerer, K. (College Park, MD : American Physical Society, 2016)
    Optical clocks based on ensembles of trapped ions promise record frequency accuracy with good short-term stability. Most suitable ion species lack closed transitions, so the clock signal must be read out indirectly by ...
  • Risk analysis with a fuzzy-logic approach of a complex installation 
    Peikert, Tim; Garbe, Heyno; Potthast, S. (Göttingen : Copernicus GmbH, 2016)
    This paper introduces a procedural method based on fuzzy logic to analyze systematic the risk of an electronic system in an intentional electromagnetic environment (IEME). The method analyzes the susceptibility of a complex ...
  • A van Benthem theorem for modal team semantics 
    Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
    The famous van Benthem theorem states that modal logic corresponds exactly to the fragment of first-order logic that is invariant under bisimulation. In this article we prove an exact analogue of this theorem in the framework ...